Results for 'Sareh Ardeshir Larijany'

77 found
Order:
  1.  32
    The Promise of Pragmatism: Richard Rorty and Business Ethics.Sareh Pouryousefi & R. Edward Freeman - 2021 - Business Ethics Quarterly 31 (4):572-599.
    Pragmatists believe that philosophical inquiry must engage closely with practice to be useful and that practice serves as a source of social norms. As a growing alternative to the analytic and continental philosophical traditions, pragmatism is well suited for research in business ethics, but its role remains underappreciated. This article focuses on Richard Rorty, a key figure in the pragmatist tradition. We read Rorty as a source of insight about the ethical and political nature of business practice in contemporary global (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  30
    Empirical and Philosophical Reflections on Trust.Sareh Pouryousefi & Jonathan Tallant - 2023 - Journal of the American Philosophical Association 9 (3):450-470.
    A dominant claim in the philosophical literature on trust is that we should stop thinking in terms of group trustworthiness or appropriate trust in groups. In this paper, we push back against this claim by arguing that philosophical work on trust would benefit from being brought into closer contact with empirical work on the nature of trust. We consider data on reactive attitudes and moral responsibility to adjudicate on different positions in the philosophical literature on trust. An implication of our (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  54
    Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
    Let ℒ and ? be propositional languages over Basic Propositional Calculus, and ℳ = ℒ∩?. Weprove two different but interrelated interpolation theorems. First, suppose that Π is a sequent theory over ℒ, and Σ∪ {C⇒C′} is a set of sequents over ?, such that Π,Σ⊢C⇒C′. Then there is a sequent theory Φ over ℳ such that Π⊢Φ and Φ, Σ⊢C⇒C′. Second, let A be a formula over ℒ, and C 1, C 2 be formulas over ?, such that A∧C 1⊢C (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  40
    A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic.Mohammad Ardeshir, Erfan Khaniki & Mohsen Shahriari - 2019 - Notre Dame Journal of Formal Logic 60 (3):481-489.
    We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    On the possibility of a normative account of corporate trust.Sareh Pouryousefi & Jonathan Tallant - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Philosophers have had much to say about the moral obligations arising from trust. These obligations involve, predominantly, interpersonal relationships. But what can we say about the moral relevance of trust in institutional settings? In this paper, we consider the particularised approach to trust and its focus on interpersonal relationships and argue that it is far from clear whether this is the kind of relationship that persons can have with respect to firms. For a particularised view of trust to be applicable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    (1 other version)Contemporary Medical Ethics: An Overview From Iran.Farzaneh Zahedi Bagher Larijani - 2008 - Developing World Bioethics 8 (3):192-196.
    The growing potential of biomedical technologies has increasingly been associated with discussions surrounding the ethical aspects of the new technologies in different societies. Advances in genetics, stem cell research and organ transplantation are some of the medical issues that have raised important ethical and social issues. Special attention has been paid towards moral ethics in Islam and medical and religious professions in Iran have voiced the requirement for an emphasis on ethics. In the last decade, great strides have been made (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  9
    Cherenkov Radiation and Hawking Radiation.Ardeshir Irani - 2024 - Open Journal of Philosophy 14 (3):623-627.
    While the speed of light has the constant value of 3 × 108 m/s in vacuum, its value diminishes in denser mediums. It is the purpose of this paper to show that as light enters regions of larger gravitational fields such as Neutron Stars and Black Holes light speed is also diminished. We consider the cases of Pulsars, Quasars, and Active Galactic Nuclei, to provide experimental proof that charged particles moving faster than the diminished speed of light in these high (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    The Infinite Nature of Quantum Cosmology.Ardeshir Irani - 2023 - Open Journal of Philosophy 13 (4):759-763.
    The connection between the infinite nature of Quantum Cosmology and the infinite nature of God is presented here. At the beginning of the creation process, there was a single God/Void that was divided into many Gods/Voids all filled with Dark Energy consisting of photons which were responsible for creating the Multiverses made of matter, antimatter, space, time, charge, and multiple dimensions of space. The one God initially had no material existence which along with the laws of science was a creation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  18
    The -provability logic of.Mohammad Ardeshir & Mojtaba Mojtahedi - 2019 - Journal of Symbolic Logic 84 (3):1118-1135.
    For the Heyting Arithmetic HA, $HA^{\text{*}} $ is defined [14, 15] as the theory $\left\{ {A|HA \vdash A^\square } \right\}$, where $A^\square $ is called the box translation of A. We characterize the ${\text{\Sigma }}_1 $-provability logic of $HA^{\text{*}} $ as a modal theory $iH_\sigma ^{\text{*}} $.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Rational and moral obligations.Sadeq Larijani - 2007 - Topoi 26 (2):231-245.
    An analysis and criticism of the views of Isfahani, Ha’iri, Tabataba’i and Misbah Yazdi on rational and moral obligations is presented. Each of these authors has offered a different theory about the source of the concept of such obligations, and the relation of obligations to prescriptive statements. The author follows his criticisms of these views with his own theory of rational and moral obligations, according to which obligations are realities that the mind grasps through intuitions on the basis of which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Towards a virtual laboratory for building performance and control.Ardeshir Mahdavi, Andreas Metzger & Gerhard Zimmermann - 2002 - In Robert Trappl (ed.), Cybernetics and Systems. Austrian Society for Cybernetics Studies. pp. 1--281.
     
    Export citation  
     
    Bookmark  
  12.  27
    The Consumer Scam: An Agency-Theoretic Approach.Sareh Pouryousefi & Jeff Frooman - 2019 - Journal of Business Ethics 154 (1):1-12.
    Despite the extensive body of literature that aims to explain the phenomenon of consumer scams, the structure of information in scam relationships remains relatively understudied. The purpose of this article is to develop an agency-theoretic approach to the study of information in perpetrator–victim interactions. Drawing a distinction between failures of observation and failures of judgment in the pre-contract phase, we introduce a typology and a set of propositions that explain the severity of adverse selection problems in three classes of scam (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  32
    The Problem of Unilateralism in Agency Theory: Towards a Bilateral Formulation.Sareh Pouryousefi & Jeff Frooman - 2017 - Business Ethics Quarterly 27 (2):163-182.
    ABSTRACT:Some business ethicists view agency theory as a cautionary tale—a proof that it is impossible to carry out successful economic interactions in the absence of ethical behaviour. The cautionary-tale view presents a nuanced normative characterisation of agency, but itsunilateralfocus betrays a limited understanding of the structure of social interaction. This article moves beyond unilateralism by presenting a descriptive and normative argument for abilateralcautionary-tale view. Specifically, we discuss hat swaps and role dualism in asymmetric-information principal-agent relationships and argue that the norm (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  35
    Intuitionistic Open Induction and Least Number Principle and the Buss Operator.Mohammad Ardeshir & Mojtaba Moniri - 1998 - Notre Dame Journal of Formal Logic 39 (2):212-220.
    In "Intuitionistic validity in -normal Kripke structures," Buss asked whether every intuitionistic theory is, for some classical theory , that of all -normal Kripke structures for which he gave an r.e. axiomatization. In the language of arithmetic and denote PA plus Open Induction or Open LNP, and are their intuitionistic deductive closures. We show is recursively axiomatizable and , while . If proves PEM but not totality of a classically provably total Diophantine function of , then and so . A (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  36
    Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
    We present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures. We present several refinements, including a completeness theorem for irreflexive trees. The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E1, a theory axiomatized by T → ⊥. The intersection CPC ∩ E1 is axiomatizable by the Principle of the Excluded Middle A V ∨ ⌝A. If B is a formula (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  16. Every Rooted Narrow Tree Kripke Model of HA is Locally PA.Mohammad Ardeshir & Bardyaa Hesaam - 2002 - Mathematical Logic Quarterly 48 (3):391-395.
    We prove that every infinite rooted narrow tree Kripke model of HA is locally PA.
     
    Export citation  
     
    Bookmark   2 citations  
  17.  30
    Global Bioethics and Scientific Sanction.Bagher Larijani & Farzaneh Zahedi - 2017 - American Journal of Bioethics 17 (10):24-26.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  31
    The de Jongh property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7):881-895.
    We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A(p 1,..., p n ) built up of atoms p 1,..., p n, BPC $${\vdash}$$ A(p 1,..., p n ) if and only if for all arithmetical sentences B 1,..., B n, BA $${\vdash}$$ A(B 1,..., B n ). The technique used in our proof can easily be applied to some known extensions of BA.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
    We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves type 2 Turing computability in classical mathematics. We also discuss the backward induction paradox for extensive form games in constructive logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  18
    Kolmogorov and Kuroda Translations Into Basic Predicate Logic.Mohammad Ardeshir & Wim Ruitenburg - forthcoming - Logic Journal of the IGPL.
    Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic |${\operatorname {CQC}}$| into Intuitionistic Predicate Logic |${\operatorname {IQC}}$|⁠. We show that the obvious generalizations to the Basic Predicate Logic of [3] and to |${\operatorname {BQC}}$| of [12], a proper subsystem of |${\operatorname {IQC}}$|⁠, go through as well. The obvious generalizations of Kuroda’s embedding are shown to be equivalent to the Kolmogorov variant. In our proofs novel nontrivial techniques are needed to overcome the absence of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  61
    Strengthening medical ethics by strategic planning in the islamic republic of iran.Bagher Larijani, Hossein Malek-Afzali, Farzaneh Zahedi & Elaheh Motevaseli - 2006 - Developing World Bioethics 6 (2):106–110.
    ABSTRACT To bring attention to medical ethics and to enhance the quality of health care in Iran, the Ministry of Health and Medical Education has introduced a strategic plan for medical ethics at a national level. This plan was developed through the organization and running of workshops in which experts addressed important areas related to medical ethics. They analysed strengths and weaknesses, opportunities and threats, and outlined a vision, a mission and specific goals and essential activities surrounding medical ethics. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  31
    Latarres, Lattices with an Arrow.Mohammad Ardeshir & Wim Ruitenburg - 2018 - Studia Logica 106 (4):757-788.
    A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  36
    Sharing Vocabularies: Towards Horizontal Alignment of Values-Driven Business Functions.Mollie Painter, Sareh Pouryousefi, Sally Hibbert & Jo-Anna Russon - 2019 - Journal of Business Ethics 155 (4):965-979.
    This paper highlights the emergence of different ‘vocabularies’ that describe various values-driven business functions within large organizations and argues for improved horizontal alignment between them. We investigate two established functions that have long-standing organizational histories: Ethics and Compliance and Corporate Social Responsibility. By drawing upon research on organizational alignment, we explain both the need for and the potential benefit of greater alignment between these values-driven functions. We then examine the structural and socio-cultural dimensions of organizational systems through which E&C and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  92
    Avicenna on the Primary Propositions.Seyed N. Mousavian & Mohammad Ardeshir - 2018 - History and Philosophy of Logic 39 (3):201-231.
    Avicenna introduces the primary propositions as the most fundamental principles of knowledge. However, as far as we are aware, Avicenna’s primaries have not yet been independently studied. Nor do Avicenna scholars agree on how to characterize them in the language of contemporary philosophy. It is well-known that the primaries are indemonstrable; nonetheless, it is not clear what the genealogy of the primaries is, how, epistemologically speaking, they can be distinguished from other principles, what their phenomenology is, what the cause of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  20
    Sustainability Centres and Fit: How Centres Work to Integrate Sustainability Within Business Schools.Rieneke Slager, Sareh Pouryousefi, Jeremy Moon & Ethan D. Schoolman - 2018 - Journal of Business Ethics 161 (2):375-391.
    For nearly as long as the topic of sustainable business has been taught and researched in business schools, proponents have warned about barriers to genuine integration in business school practices. This article examines how academic sustainability centres try to overcome barriers to integration by achieving technical, cultural and political fit with their environment :67–92; Ansari et al., Academy of Management Review 35:67–92, 2010). Based on survey and interview data, we theorise that technical, cultural and political fit are intricately related, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  28
    Reduction of provability logics to Σ1-provability logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  30
    The principle of open induction and Specker sequences.Mohammad Ardeshir & Zahra Ghafouri - 2017 - Logic Journal of the IGPL 25 (2):232-238.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  23
    (1 other version)The Σ1-Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - forthcoming - Journal of Symbolic Logic:1-18.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  83
    Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
    We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using these axiomatizations, we prove interpolation theorems for basic propositional logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  30.  46
    Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
    We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras. This result allows us to generalize Glivenko’s theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  78
    A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
    Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  25
    Ethics for Capitalists: A Systematic Approach to Business Ethics, Competition, and Market Failure, by Joseph Heath. Altona, MB: FriesenPress, 2023. 276 pp. [REVIEW]Sareh Pouryousefi - 2023 - Business Ethics Quarterly 33 (3):596-602.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  23
    The Economist’s Oath: On the Need for and Content of Professional Economic Ethics, by George F. DeMartino. Oxford: Oxford University Press, 2011. [REVIEW]Sareh Pouryousefi - 2014 - Business Ethics Quarterly 24 (2):283-287.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  33
    Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
    A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's Thesis permits the existence of a Specker sequence. In intuitionistic mathematics, Brouwer's Continuity Principle implies it is false that every bounded monotone sequence of real numbers has a limit. We claim that the existence of Specker sequences crucially depends on the properties of intuitionistic decidable sets. We propose a schema about intuitionistic decidability that asserts “there exists an intuitionistic enumerable set that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  46
    On the constructive notion of closure maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
    Let A be a subset of the constructive real line. What are the necessary and sufficient conditions for the set A such that A is continuously separated from other reals, i.e., there exists a continuous function f with f−1(0) = A? In this paper, we study the notions of closed sets and closure maps in constructive reverse mathematics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  42
    The double negation of the intermediate value theorem.Mohammad Ardeshir & Rasoul Ramezanian - 2010 - Annals of Pure and Applied Logic 161 (6):737-744.
    In the context of intuitionistic analysis, we consider the set consisting of all continuous functions from [0,1] to such that =0 and =1, and the set consisting of ’s in where there exists x[0,1] such that . It is well-known that there are weak counterexamples to the intermediate value theorem, and with Brouwer’s continuity principle we have . However, there exists no satisfying answer to . We try to answer to this question by reducing it to a schema about intuitionistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2000 - Mathematical Logic Quarterly 46 (2):195-206.
    In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.
     
    Export citation  
     
    Bookmark   2 citations  
  38.  47
    On the linear Lindenbaum algebra of Basic Propositional Logic.Majid Alizadeh & Mohammad Ardeshir - 2004 - Mathematical Logic Quarterly 50 (1):65.
    We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39.  11
    Suicide gene‐enabled cell therapy: A novel approach to scalable human pluripotent stem cell quality control.Emilie Gysel, Leila Larijani, Michael S. Kallos & Roman J. Krawetz - 2023 - Bioessays 45 (11):2300037.
    There are an increasing number of cell therapy approaches being studied and employed world‐wide. An emerging area in this field is the use of human pluripotent stem cell (hPSC) products for the treatment of injuries/diseases that cannot be effectively managed through current approaches. However, as with any cell therapy, vast numbers of functional and safe cells are required. Bioreactors provide an attractive avenue to generate clinically relevant cell numbers with decreased labour and decreased batch to batch variation. Yet, current methods (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  30
    Intuitionistic axiomatizations for bounded extension Kripke models.Mohammad Ardeshir, Wim Ruitenburg & Saeed Salehi - 2003 - Annals of Pure and Applied Logic 124 (1-3):267-285.
    We present axiom systems, and provide soundness and strong completeness theorems, for classes of Kripke models with restricted extension rules among the node structures of the model. As examples we present an axiom system for the class of cofinal extension Kripke models, and an axiom system for the class of end-extension Kripke models. We also show that Heyting arithmetic is strongly complete for its class of end-extension models. Cofinal extension models of HA are models of Peano arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  7
    The provably total functions of basic arithmetic and its extensions.Mohammad Ardeshir, Erfan Khaniki & Mohsen Shahriari - 2025 - Archive for Mathematical Logic 64 (1):205-257.
    We study Basic Arithmetic, $$\textsf{BA}$$ introduced by Ruitenburg (Notre Dame J Formal Logic 39:18–46, 1998). $$\textsf{BA}$$ is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions of $$\textsf{BA}$$ is a proper sub-class of the primitive recursive functions. Three extensions of $$\textsf{BA}$$, called $$\textsf{BA}+\mathsf U$$, $$\mathsf {BA_{\mathrm c}}$$ and $$\textsf{EBA}$$ are investigated with relation to their provably total recursive functions. It is shown that the provably total (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  24
    A unification of the basic logics of Sambin and Visser.M. Ardeshir & V. Vaezian - 2012 - Logic Journal of the IGPL 20 (6):1202-1213.
  43.  30
    Compactness, colocatedness, measurability and ED.Mohammad Ardeshir & Zahra Ghafouri - 2018 - Logic Journal of the IGPL 26 (2):244-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  37
    Completeness of intermediate logics with doubly negated axioms.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Mathematical Logic Quarterly 60 (1-2):6-11.
    Let denote a first‐order logic in a language that contains infinitely many constant symbols and also containing intuitionistic logic. By, we mean the associated logic axiomatized by the double negation of the universal closure of the axioms of plus. We shall show that if is strongly complete for a class of Kripke models, then is strongly complete for the class of Kripke models that are ultimately in.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    Manteghe Riazi.M. Ardeshir & Ali Enayat - 2008 - Bulletin of Symbolic Logic 14 (1):118-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    Exploring defensive medicine: examples, underlying and contextual factors, and potential strategies - a qualitative study.Ehsan Shamsi Gooshki, Bagher Larijani, Neda Yavari, Ayat Ahmadi, Alireza Parsapoor & Mohammad Hossein Eftekhari - 2023 - BMC Medical Ethics 24 (1):1-21.
    BackgroundMedical errors, unsatisfactory outcomes, or treatment complications often prompt patient complaints about healthcare providers. In response, physicians may adopt defensive practices to mitigate objections, avoid complaints, and navigate lengthy trial processes or other potential threats. However, such defensive medicine (DM) practices can carry risks, including potential harm to patients and the imposition of unnecessary costs on both patients and the healthcare system. Moreover, these practices may run counter to accepted ethical standards in medicine.MethodsThis qualitative study involved conducting semi-structured interviews with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Bridging the Gap Between Ethical Theory and Practice in Medicine: A Constructivist Grounded Theory Study.Mansure Madani, AbouAli Vedadhir, Bagher Larijani, Zahra Khazaei & Ahad Faramarz Gharamaleki - 2020 - Science and Engineering Ethics 26 (2):2255-2275.
    Physicians try hard to alleviate mental and physical ailments of their patients. Thus, they are heavily burdened by observing ethics and staying well-informed while improving health of their patients. A major ethical concern or dilemma in medication is that some physicians know their behavior is unethical, yet act against their moral compass. This study develops models of theory–practice gap, offering optimal solutions for the gap. These solutions would enhance self-motivation or remove external obstacles to stimulate ethical practices in medicine. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  6
    Breaching confidentiality: medical mandatory reporting laws in Iran.Alireza Milanifar, Bagher Larijani, Parvaneh Paykarzadeh, Golanna Ashtari & Mohammad Mehdi Akhondi - 2015 - Journal of Medical Ethics and History of Medicine 7 (1).
    Medical ethics is a realm where four important subjects of philosophy, medicine, theology and law are covered. Physicians and philosophers cooperation in this area will have great efficiency in the respective ethical rules formation. In addition to respect the autonomy of the patient, physician's obligation is to ensure that the medical intervention has benefit for the patient and the harm is minimal. There is an obvious conflict between duty of confidentiality and duty of mandatory reporting. Professional confidentiality is one of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  30
    The doctor-patient relationship: toward a conceptual re-examination.Hamidreza Namazi, Kiarash Aramesh & Bagher Larijani - 2016 - Journal of Medical Ethics and History of Medicine 9 (1).
    The nature of the doctor-patient relationship as a keystone of care necessitates philosophical, psychological and sociological considerations. The present study investigates concepts related to these three critical views considered especially important. From the philosophical viewpoint, the three concepts of "the demands of ethics “,” ethical phenomenology and "the philosophy of the relationship" are of particular importance. From a psychological point of view, the five concepts of "communication behavior patterns", "psychic distance", "emotional quotient", "conflict between pain relief and truth-telling", and "body (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  21
    A comparison between conflict of interest in Western and Islamic literatures in the realm of medicine.Mojtaba Parsa, Kiarash Aramesh & Bagher Larijani - 2015 - Journal of Medical Ethics and History of Medicine 7 (1).
    In Western literatures, "conflict" is a general term that refers to discord between two or more entities. In Islamic jurisprudence, however, in addition to the term "conflict", there is another term which is called tazāhum. The two terms, however, have different definitions. Conflict between two concepts, for instance, indicates that one is right and the other is wrong, while tazāhum does not necessarily have to be between right and wrong, and may appear between two equally right concepts. Moreover, conflict exists (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 77